Rail system - PDFSEARCH.IO - Document Search Engine

Rail system
Results: 3370

#	Item
971	FEASIBILITY STUDY OF A LOCAL PUBLIC TRANSPORT SYSTEM AND REORGANIZATION OF ROAD AND RAIL NETWORKS AND SERVICES ALONG THE NORTHERN AXIS OF UDINE CLIENT: Provincial Administration of Udine YEAR: 2004 DESCRIPTION OF ACTIVIT Add to Reading List Source URL: www.trt.it Language: English - Date: 2012-02-02 06:22:07 Logistics Transport
972	86 PUBLIC LAW[removed]APR. 11, [removed] Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2013-01-16 10:45:18 Railroad Safety Appliance Act United States railroad regulation Commerce Clause Interstate Highway System Interstate Commerce Commission Transport Land transport Rail transport
973	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
974	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
975	BROAD EXPERIENCE The GSM-R Consultants with Experience GSM-R is the worldwide standard for digital railway communications. Add to Reading List Source URL: clearcincom.com Language: English - Date: 2013-07-19 06:11:40 Electronic engineering Universal Mobile Telecommunications System Videotelephony GSM-R Software-defined radio 3GPP Long Term Evolution European Train Control System GSM frequency bands GSM Technology European Rail Traffic Management System Transport
976	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
977	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
978	EX-TREMIS (EXPLORING TRANSPORT EMISSIONS) – DEVELOPMENT OF A REFERENCE SYSTEM ON EMISSIONS FACTORS, ENERGY CONSUMPTION AND TOTAL EMISSIONS FOR RAIL, MARITIME AND AIR TRANSPORT CLIENT: JRC-IPTS Seville YEARS: 2007 – 2 Add to Reading List Source URL: www.trt.it Language: English - Date: 2012-02-02 06:21:54 Liquid fuels Petroleum products Emission standards Chemical engineering Emission intensity Fuel oil European emission standards Engine Internal combustion engine Air pollution Soft matter Environment
979	Before the Appellate Tribunal for Electricity Appellate Jurisdiction, New Delhi Appeal No. 123 of 2008 Dated : 08th September, 2009 Present: Add to Reading List Source URL: aptel.gov.in Language: English - Date: 2009-09-17 06:39:13 Railway electrification system Brief Appeal Government Law Electric rail transport Delhi Development Authority
980	GEO TASK DA07-04 [removed]GEOSS Task DA[removed]KEY FACTS Add to Reading List Source URL: www.ogcnetwork.net Language: English - Date: 2015-02-23 05:39:31 Remote sensing Sensors Tsukuba Ibaraki Global Earth Observation System of Systems Wireless sensor network Tsukuba Station Sensor web Narita International Airport Osaka City Air Terminal Transport in Japan Geographic information systems Rail transport in Japan

UPDATE